A finite axiomatization of positive MV-algebras
نویسندگان
چکیده
Positive MV-algebras are the subreducts of with respect to signature $\{\oplus, \odot, \lor, \land, 0, 1\}$. We provide a finite quasi-equational axiomatization for class such algebras.
منابع مشابه
Axiomatization of Finite Algebras
We show that the set of all formulas in n variables valid in a finite class A of finite algebras is always a regular tree language, and compute a finite axiom set for A. We give a rational reconstruction of Barzdins’ liquid flow algorithm [BB91]. We show a sufficient condition for the existence of a class A of prototype algebras for a given theory Θ. Such a set allows us to prove Θ |= φ simply ...
متن کاملMV* - Algebras
In this paper we make an algebraic study of the variety of M V * –algebras introduced by C. C.Chang as an algebraic counterpart for a logic with positive and negative truth values. We build the algebraic theory of M V * –algebras within its own limits using a concept of ideal and of prime ideal that are very naturally related to the corresponding concepts in –groups. The main results are a subd...
متن کاملDerivations of MV-Algebras
In his classical paper 1 , Chang invented the notion of MV-algebra in order to provide an algebraic proof of the completeness theorem of infinite valued Lukasiewicz propositional calculus. Recently, the algebraic theory of MV-algebras is intensively studied, see 2–5 . The notion of derivation, introduced from the analytic theory, is helpful to the research of structure and property in algebraic...
متن کاملFinitely Presented MV-algebras with Finite Automorphism Group
Please see [1] for background on MV-algebras. We address the question, which MV-algebras have finite automorphism group. The automorphism group of the free MV-algebra on 1 generator is just the group of order 2 (folklore). In contrast, it is known that the automorphism group of the free MV-algebra on 2 generators is not even locally finite [4, 2]. Not much else seems to be known. Let us restric...
متن کاملTopological Locally Finite Mv -algebras and Riemann Surfaces
It is known that any MV -algebra is a topological MV -algebra. For a locally finite MV -algebra A with some algebraic and topological conditions the product A× A becomes a compact Riemann surface (modulo conformal equivalence). Topologically, it is a torus.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Algebra Universalis
سال: 2022
ISSN: ['0002-5240', '1420-8911']
DOI: https://doi.org/10.1007/s00012-022-00776-3